CHCL - A Connectionist Infernce System
نویسندگان
چکیده
Chcl is a connectionist inference system for H orn logic which is based on the connection method and uses limited resources. This paper gives an overview of the system and its implementation.
منابع مشابه
Spatial Reasoning and Connectionist Inference
The system presented in this paper is based on ideas taken from Automated Reasoning and Connectionism. The connectionist inference system Chcl is applied to solve the question whether a given sentence correctly describes the spatial relations of objects shown in a visual scene. The sentence is posed in relational form to a set of rules deening spatial relations among objects and a set of facts ...
متن کاملProofs of Properties about HM ( X )
We present full of the properties about HM(X). HM(X) is a general framework for Hindley/Milner type systems with constraints. Speciic type systems can be obtained by instantiating the constraint parameter X. For instance, the Hindley/Milner type system itself can be obtained by instantiating X to the Herbrand constraint system. We give a generic type infernce algorithm for HM(X) type systems. U...
متن کاملPlasticizing Effect of Choline Chloride/urea Eutectic-based Ionic Liquid on Physicochemical Properties of Agarose Films
Agarose films were formed with the addition of 30 to 70 wt% choline chloride/urea eutectic-based ionic liquid (ChCl/Urea). The ChCl/Urea was prepared through complexation at a 1:2 mole ratio. The films were prepared by dissolving ChCl/Urea in distilled water followed by dispersion of the agarose at 95 °C. The solution was gelled at room temperature, and the formed gel was dried in an oven overn...
متن کاملThe Properties of Choline Chloride-based Deep Eutectic Solvents and their Performance in the Dissolution of Cellulose
A series of choline chloride-based deep eutectic solvents (ChCl-DESs) were synthesized and characterized, and their performance in the dissolution of cellulose was investigated. The hydrogen-bond donors significantly (β-value) affected the properties of ChCl-DESs, causing differentiated dissolution performances. ChClimidazole (Im) showed the highest Hammett acidity function (1.869), hydrogen bo...
متن کاملComputational modeling of dynamic decision making using connectionist networks
In this research connectionist modeling of decision making has been presented. Important areas for decision making in the brain are thalamus, prefrontal cortex and Amygdala. Connectionist modeling with 3 parts representative for these 3 areas is made based the result of Iowa Gambling Task. In many researches Iowa Gambling Task is used to study emotional decision making. In these kind of decisio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990